Redundancy criteria for constrained completion
نویسندگان
چکیده
منابع مشابه
Redundancy Criteria for Constrained Completion
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present several inference systems which show in a very precise way how to take advantage of redundancy notions in this framework. A notable feature of these systems is the variety of tradeo s they present for removing redundant...
متن کاملIncomplete Definite Descriptions, Demonstrative Completion and Redundancy
“Incomplete” definite descriptions (i.e. descriptions that violate the uniqueness constraint) have been offered various accounts in semantics. Among them, the so-called ellipsis account, which analyzes “the F” as elliptical for “the F which is that F”. I begin by arguing that the objections raised against this account have not been conclusive, and go on to supply a new argument against it, whic...
متن کاملCompleteness and Redundancy in Constrained Clause Logic
In CZ 91], a resolution-based inference system on c-clauses (i.e. constrained clauses) was introduced, incorporating powerful deletion rules for redundancy elimination. This inference system was extended to resolution reenements in subsequent papers of Caferra et al. (e.g. CP 95] and CP 96]). The completeness proofs given for the purely refutational calculi (i.e.: the inference systems without ...
متن کاملRegularized Partial and / or Constrained Redundancy Analysis
Methods of incorporating a ridge type of regularization into partial redundancy analysis (PRA), constrained redundancy analysis (CRA), and partial and constrained redundancy analysis (PCRA) were discussed. The usefulness of ridge estimation in reducing MSE (mean square error) has been recognized in multiple regression analysis for some time, especially when predictor variables are nearly collin...
متن کاملPerformance Based Redundancy Resolution with Multiple Criteria
This paper presents a scaleable approach to redundancy resolution problems involving multiple criteria. The proposed scheme relies on the disintegration of the inverse kinematics solution from multicriteria decision making. The scheme is composed of systematic generation of a set of inverse kinematics solutions and evaluating these solutions using multiple criteria. The proposed approach is esp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1995
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)00274-6